TAGs: inductive reasoning